abinfo "Applying patches..."
# FIXME: patches for Eigen 5
git cherry-pick -n 07651df0ad17365a2616135bb46ecd92b8e36adb
git cherry-pick -n f0720aeb84ec7bb479fe3618b30fa54981baf8fd
git cherry-pick -n f9b7b6651b108136a16df44d91fb31735645f5a7
