Fixing m4ri include

Thanks to Martin Albrecht for pointing out this bug!