fixes compilation on GCC 4.8.1 Linux