Fix missing bootstrap.lua.