docs/INSTALL doesn't exist any more