Workaround for RAnal test crash on deinitialization