update-webkit-support-libraries is broken with the change from http to https on devel...