/etc/desktop/mime-info/
../
proofgeneral.keys
proofgeneral.mime