INSTALL.rst: add some defaults