more PDF tools for Linux Mint / Ubuntu