Test the use of manually installed eigen 3.2 together with the 3.0.5 provided by ubuntu