Modification of lua-5.1.4, to make lua64 share luac byteccode file with lua32