Function with_extension_csv 

fn with_extension_csv(p: &Path) -> PathBuf

os.path.splitext(p)[0] + ".csv".