Ah! Because I don't have a Linux system set up to test it, unfortunately. I had Linux on my old machine but it doesn't boot any more. I'll try to set up a VM so I can at least get the export going.
I think that is the case, but I just hesitate to publicly post a build I haven’t tested :-) Or maybe I can post it and you test it and let me know if it works!
