make "distclean" doesn't anymore remove configure