redirect the messagges (like execution time) to stderr