Hi, > Did you do a clean checkout from CVS? If not, please > try it with a clean checkout and report back how it > went. I did that and - voila - it worked! Thanx!! -- Mit freundlichen Gruessen / with regards Ronald Aigner http://os.inf.tu-dresden.de/~ra3/ Operating Systems Group - TU Dresden