modified manifests to make pypy work with redis