4.0.2のアップデータで先のクラッシュの件、解消した模様。
うちではとりあえず問題なく動くようになりました。
とは言え、もうちょっとversion3も捨てないでおこうかなかな、と。