Use lua_pushliteral to push literal string, instead of lua_pushstring