Re: #4791: install of buildroot failed but build started