Any reason you chose this over `File.separator` directly?