fix compile error for GCC