Loosen the type of SSH key files
Mark the value for nixpkgs.system as a default