>Maybe this should be added to INSTALL file? Sorry about that! I and the rest of the documentation team typically run a little behind the developers.... it'll get fixed. Nick ...needs to fix INSTALL.