[webkit-dev] Linux build patch