Fix silent configuration
This makes the configure script really silent when it's called with the --silent option.
This makes the configure script really silent when it's called with the --silent option.
mentioned in merge request !24 (merged)
merged