Rename a file
Add luajit options to benchmark.lua