Update GPGTools_Core. [1]