github-based Grease is required for GemStone3.2, so let's make it required for GLASS1