Only tested under linux; please give feedback if something is wrong
  Some help should be written in doc/Configure.help; if you know what
  to write there, please contribute !