Workaround compilation on GCC 4.8