It seems that the problem has been fixed [on trunk](https://sqlite.org/src/info/0f9fc6b6073365d5). Thanks for the fix!