This belongs in main(), where it is already being set. It might however be necessary to set it when running tests, although none of the tests seems to fail w/o this.