lua for 64bits alpha