fix compilation on GCC 4.9.0