we _really_ depend on it.
  * ./bootstrap: we don't use touch to create a file, because it doesn't seem
    to work everywhere.