Delete lua.h