Yeah, I am gonna revert my changes today, found more problems with it. It is a pity though. > > The bibletime dir should work already, so that we can theoretically > > release the beta on the weekend, if you can make it, Joachim. > > I think so. Wow, that would be awesome! Martin