Thanks to:

  Claus-Justus Heine <claus@mathematik.uni-freiburg.de>
  for starting to create tools for autoconfigure.

  Daniel Koester <dani@mathematik.uni-freiburg.de>
  for finally creating these tools
