workaround weird destructor ODR bug