···77 int i;
88 char *p11_argv[] = {
99- "p11-kit", "server",
1010-+ "@p11@/bin/p11-kit", "server",
1010++ "@p11kit@", "server",
1111 /* We explicitly request --sh here, because we then fail on earlier versions that doesn't support
1212 * this flag. This is good, because those earlier versions did not properly daemonize and caused
1313 * the spawn_sync to hang forever, waiting for the pipe to close.