[Bug 456390] petitboot did not build correctly