pgpdump is not in apt on all platforms