Converts any path to standard form.
static String normalize(String path) { return p.normalize(path); }