Delete lualib.h