Hi, Flavio,

Please use the attached patch instead, try to see if it solves
all your problems.

Thanks a lot!