Added comment about defining NDEBUG=1.