deps/eigen and apt/eigen are conflicting

deps/eigen is 3.3.9

apt/eigen is 3.3.4

I noticed the following in a package which depends on Ceres:

We should either use deps/eigen or apt/eigen. We need to decide. Otherwise, we will likely run into issues like these or even more severe - runtime issues.