FIX: Compile error with GCC