fix devpi-server install