Small fix in hotbuild.lua