quieter output now that stderr goes to the user