set the php version in the map for debian and ubuntu of module redis to allow installation of the desired version
