Fix compilation error on Ubuntu 14.04 (gcc > 4.7).