silenced debugging print statements
Merge pull request #1654 from twobraids/silence-stdout

Fixes Bug 935546 - silence debugging print statements