use lua51 only, unstable with lua52-5.2.3_3