debian-based system use redis-server as the package name