Had to add a quick qorkaround to get scoverage+jenkins to work.