Send correct source code filename to Coveralls

This is so that the source code for the file will appear in their coverage report.

The change currently only affects github.com repositories.