Fixing links to files on Github when viewing a pull request build.

Fixes #423