I logged a bug report for the problem, with Dave’s file. I will add your file as another example. It will get fixed, but I’m not sure when. We have a few other urgent things to fix first.
I’m hoping to find out what the problem is, to at least suggest a work around for now.