Reactivated NDEBUG for performance reasons