make examples fail nicely when eigen3 is not available