This file has to be dropped as gnu/packages/aux-files/run-in-namespace.c: