Replace our execvpe() replacement with something GPL-compatible.