minor change to Makefile and NDEBUG