fixup! FormulaInstaller: implement installation locks