Compilation fix for old G++ (before C++11).
Authored by: brunoherbelin 2018-01-14
Parent: [r1567]
Child: [r1569]