execvpe_int
return (execvpe_int(file, argv, NULL, B_FALSE));
return (execvpe_int(file, argv, envp, B_TRUE));