Required prereqs should also be installed in docker containers, and a convenience installer provided in the Makefile:

From the docs:

Please install: 
- Linux: `libgtest-dev` `libomp-dev` `libgmp-dev`
- MacOS: `brew install libomp` `brew install gmp`