Workaround for "lua.h: No such file or directory"