Update GPGTools_Core. [4]