fix flakey lua benchmark