Jstar compiles again after the demise of the Vars module.