My mistake: the OUPDATE software for serial port is indeed on the Eclipse page once you login and register.
And from 1.101 you must go first to 3.51 and then to 4.01.

Took about 10 minutes, but it worked!

thanks!