extra/webkitgtk: fix the armv5 fix