#258 use TOKUFT_DIRTY_SHUTDOWN