fix gcc compilation