ensure to only return unique source paths from a workspace marker file (fix #424)