Better name of public key file