On 10/12/2016 04:09 PM, Pedro Alves wrote: > > Thanks. Here's a follow up patch that I was just testing. > > Need this if building with "g++ -std=gnu++11", with gcc < 4.7. Lovely. That's ok too if the other one goes in. Bernd