build.xml: minor tweak for jenkins

Jenkins' cobertura plugin wasn't finding the streaming source. This change
should correct that.