On 10/09/2015 11:00 AM, vijay nag wrote: > Is there an open ticket for the same ? There wasn't, but I've opened one now: https://sourceware.org/bugzilla/show_bug.cgi?id=19105 Thanks, Pedro Alves