Fix core extensions for AWS servers.

Do not assume that every server has the private_key_file attribute.

AWS servers don't have it.