suck less wrt to M4RI handling
ignore autotools cruft