Thank you for the information! However the zip file you referenced seems to
contain the 3.42 version (despite its name). If you could point out somewhere
to download the 3.32 version from, I would be very grateful.