Update GPGTools_Core. [6]