run-jsc should pass the option to use dollar vm by default