minor fix in 3rdparty/webp