Updated GPGTools version from 2013.07.31 to 2013.08.06