Jérôme Duval 214f8799db try to fix gcc5 build on buildbot.
* I'd only reproduce the kernel build failure locally, weird.
2016-03-04 20:23:17 +01:00
..
2016-03-04 20:23:17 +01:00