Fix Jenkins logging.