GCC 4.8 workaround