char *strip_path(char *filename);
char *shorten_path(char *cfilename);