Switching back to correct path separator for platform because Docker expects it, and it is used to generate file tree