Update GPGTools_Core. [5]