Produce a redis-dbg package, too