475 				char *sep = NULL;  in main()  local
478 					if ((sep = strchr(file, ':')) != NULL) {  in main()
479 						*sep = '\0';  in main()
503 				if (sep) {  in main()
504 					*sep = ':';  in main()
505 					file = sep + 1;  in main()
514 				char *sep = strchr(file, ':');  in main()  local
515 				if (sep) {  in main()
516 					*sep = '\0';  in main()
518 					*sep++ = ':';  in main()
519 					file = sep;  in main()