Also, looks like there is a left-over directory from someone's dev environment hard-coded somehwere in the distribution: Although it is clearly strange and suboptimal, it is not so easy to change it. There are discussions in the archives about it. karl