Turning off gpgtools as there is a problem with mounting the disk image.