fix compile error on GCC