Thanks for the suggestion, but I don't want to get involved on the dev list - I'm just an end user who knows a little C making a one-off submission. The contacts page of the website clearly says that list is not for bug reports so this seemed the appropriate place for it.