ldns_key_list_push_key(3) on Linux

The text 94e561d2d536, as Debian 8 (Jessie) shipped it.

ldns_key_list_push_key(3) on Linux now