This is to avoid TapFormulaAmbiguityError. We should load formula based on what we installed, rather than just name.