De manera alternativa, y si se está usando cualquier sistema Debian GNU/Linux, también se puede instalar proteus desde un repositorio.