Use config.json in run_interpreter.js