[Rivet] problem running rivet

[Frank Siegert]

Andy Buckley, Thursday 23 April 2009:
> Frank,
> since you're the master of the rivet-only-bootstrap which is also
> presumably affected by this, can you add the various other "lib*"
> combinations to the generated paths?

I have done so now.
If this is indeed the cause for your problem, Hendrik, please test the 
bootstrap script again (rivet-only-bootstrap will suffice) and let me know 
if that works.

Thanks,
Frank