Let configure look for lua5.1 header