Returns extension of a path
String pathExtension(String path) { path = pathExpand(path); return path_path.extension(path); }