use smaller repo for solarized