Delete lauxlib.h