avoid identifier luai_Cast (also used by Lua 5.1 in some cases)