Fix cobertura filenames

Review after #11. Note that in your build #91, you see the same bug as in my issue #10.

https://coveralls.io/files/153932109

But in this build, you should see the source code!