use lua_pushliteral for string-literals.