avoiding crash when flushing of shared object fails

There's nothing we can do against it, anyway.