Update GPGTools_Core to allow spaces in directory names on Jenkins.