Fix broken non-JIT build.