Disable a warning that gets triggered in an Eigen header