Changing the version number to be able to check for the patched version of Eigen