don't reinstall devpi-server, nginx
docs