> This never happened to me. But I used the INSTALL_PREFIX > instead of PREFIX. Maybe this makes a difference? > I didn't specify any PREFIX. The default /usr/local is fine for me. I only use one 2.5.1. Ludo