moncov changed to redis back-end