Solving ZFC-USer git problem