On Thu, Aug 16, 2012 at 02:07:34PM +0100, Peter Stephenson wrote: > I suppose that's what you get for having too many header > files... presumably the older one is redundant. Unsurprisingly, your patch works. Thank you. Will this be in the next release or do I need to file a bug report somewhere? Thomas