gc.sh: suppress darcs optimize output