Workaround some obscure crashes reported through Android crash reporting