Download the Arduino Proteus Library from a trusted source. You can search for "Arduino Proteus Library zip" online. The file will usually be in a .zip format ...
When compiling without build profile, all goes well. Libraries installed (manual zip) in ~/Documents/Arduino/libraries/ are found and used: Build profile UI also find ...