see docs/INSTALL