Added make install to install-redo