On 2012-05-29 19:26, Daniel D. Daugherty wrote: > Thanks for spotting this... Do you happen to already have a suggested > fix for this? We didn't have a fix (after all, we're not working with the old build system) but Jonas created one now. I'll patch a webrev shortly. /Magnus