fix gcc compilation error