install redo without needing make