Buggy translations of lua_pushliteral and lua_newlibtable. Fixed?