how to install Proteus library