webkit-gtk3: fix build