Attempt bugfix for Lua header include