(I’m still slightly lost as to why whether our python process calls

execv

or

execve

would make a difference to the nailgun process, here…)