Fix silent configuration

The configure script is not supposed to emit anything to the standard output when called with the --silent option.