publickeyfile now an RFC