fix bdw finalizer calling Eiffel dispose