Path separators in the file index should be / rather than \ because of the design aim that the same index should work on all platforms.
