another try to fix travis build with cobertura