fix #3: temporary divert stdout to /dev/null for increased user experience