The pipes from last time were probably allowing any webkitgtk version, which isn't what we want. With this, we don't support old builds, but we don't even try to support old builds anyway.