Fixing a possible issue with different path separators under windows