[WJW]

How often do you (re)install redis-server for this to be a problem? It's just a thing you type once in a build script for me.