One solution is to add this to luaconf.h and rebuild Lua: #define luai_makeseed() 0 But, as Roberto argued, this does not completly solve the problem.
