Pkg.update() throws an error

Dear Philippe,

Since nobody seems to be in a position to help, here is the solution. Enjoy!

Philippe