Compilation fix for gcc<4.9

Broken by 06ca04a0.