Hi, it must have been something temporary: this morning I logged in, issued the same command and it worked! Or if somebody fixed something in the build farm, thanks anyway. Riccardo