Thanks Andrei for your tests and patience.
The correction of the bug your reported was included in the version 7.2 recently released.