we require autoproj 1.10.2 to make the github transition smoother