See code/INSTALL
