Fix intermittent crash on exit under Linux.

Ignore-this: 33adeed10dccbdf9489706772ccf4b2a

darcs-hash:20141124073017-4d2ae-4d0eb13ffaf202154b2238cf5def90f03e26c5e9