Fixes #5: synchronization of file in the source code editor and
the selection in the main view of the review tool now works even if
paths are symlinked