in a place more likely to be noticed

I also played with other spatch options to replace ``--dir .``, but they
resulted in more clumsy shell commands.

Ref a98c1489