Fix a gcc compiler error on Archlinux 64bits (GCC 4.9.1)