Thomas, >> > > What time was that, Thomas? I updated at 17:00CET and the build failed > again. A further update and a clean build has got me back in action too. Cheers Paul