Correct path separator for Linux