fix gcc compilation issue