avoid installing more than needed on CI servers