don't print anything in exit(); fixes #1791