https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67498
--- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> --- Sorry, I am traveling now, I'll look at it when I am back home, end of March 2016? Maybe you better close it, I think at that time gcc 6 will be available.