Fixing Jerry's broken build.