make-version: Silence one diagnostic message with a verbose option