args[2] = "-fhardwire-lib-paths";
if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
printf("Using %s %s %s\n", args[0], args[1], args[2]);
args[2] = "-fhardwire-lib-paths";
if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
printf("Using %s %s %s\n", args[0], args[1], args[2]);