Make it easy to upgrade redis

If we change the version number, make sure that is the version we have
built and installed.