avoid some build warnings with NDEBUG