Make things quiet again now that we use -ex