@witty-crayon-22786 that worked well, btw - thanks! Next problem - I am seeing nailgun failures. Stuff like this:

Problem in nailgun protocol with nailgun server at 127.0.0.1:49991: TruncatedHeaderError(u"Failed to read nailgun chunk header (TruncatedRead(u'Expected 5 bytes before socket shutdown, instead received 0',)