see ../INSTALL