Returns file name part of a path
String pathFileName(String path) { path = pathExpand(path); return path_path.basename(path); }