Improve logging, now the filename of the assertion gets printed.
Fix some bugs in broken Makefile.