Update REST_runner.pl