This fixes the compilation of the toolchain on Debian Jessie (8) which is having the same issue as https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746831

Thanks to Yann Sionneau.