In the dependencies image, we had to disable linking symengine against llvm because of two conflicting installations of llvm (see #50).

If possible, we should enable it again (-DWITH_LLVM=ON), and try to link symengine against the llvm package that got installed via backports.