Merge pull request #1452 from rubenk/configure-silence-configure-check