follow TvmJIT 0.1.2 / LuaJIT 2.0.2