Updated GPGTools_Core.