add #ifndef NDEBUG in shutdown