Make joke configure output less spammy.

    We still want to make fun of autoconf, just less fun of it.