webkitgtk: security bump to version 2.12.4