Fixed a case where the solver didn't see an installed package