FIX: Further compile error with (some versions of) GCC