fix minor bug when launching redis after install