gpgscm: Free file names.