Really silence extraneous console output this time