Another potential fix for getting mongo to shut down properly.