Remove bootstrap.lua.