Tentatively stop using the boxen build of redis in favor of the normal one