[m4ri] New upstream version. Installed headers no longer need an update.