Fix so that the correct relative source filename is sent to Coveralls for github.com repositories.