Update GPGTools to 2013.07.27