modify lua.h