We have just fixed a crash on shut-down which sounds similar to what you are reporting. If you are able to reproduce it reliably, you might want to give this test build (usual disclaimers<1> apply) a try: