Diffenet path separators on Linux