Tests: build-examples
Depends: libmpfrc++-dev, build-essential
