/etc/desktop/icons/128x128/
../
proofgeneral.png