stdout during tests, so we can see Z3 compile