Update GPGTools to 2013.07.31