run_test.js can specify the root directory of jalangi