Add more stdout flushes to have better jenkins logging