lua 5.2 header of debian/ubuntu needs to be properly detected and used in include