mysql-dev pip-and-virtualenv pip-manifest selinux