Fix reval.js submodule