>>> What compiler is that, and version? The code in main.c has been like >>> this for a while, I wonder why it didn't come up before. See 3894. Because nobody uses it anymore :) > Should be fixed in e4ce8cd9691708d9bc0bcc9904d656fe35001946. Yes, master works now. Thx.