add the SOLVER_FLAG_FOCUS_INSTALLED solver flag