Removing Makefile to revert to the use of Autotools which seem simpler in this case.
Removing Makefile to revert to the use of Autotools which seem simpler in this case.

pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla