Update Makefile

specified assertion library