Fix support of NDEBUG