[eigen-3.2.0] Make installation quieter