Fix gcc compile error