Fix build w/ GCC 4.8