Use "lua5.1" binary instead of "lua" for ./util/* scripts