Delete lua.hpp