specify how to download in INSTALL, issue #111