* We have neither --with-eccodes-root nor --with-grib_api-root.

* The rule should not delete distributed/git-tracked files.

* This messes less with syntax highlighting.

* See a later commit for actual improvements regarding collective
  access.