stop redirecting to dev null for issue #3900