Re: valgrind

[Ludovic Courtès]

Hi!

The two ‘/interactive’ versions can probably be merged; I don’t think
there was a good reason to keep 3.17.

Thanks,
Ludo’.