we don’t care on Jenkins and this is only optimizing the test output when running on my machine—and possibly others, but I don’t care about those as much ;-)

So: it works on my box.