Fix outdated INSTALL. closes #309