Re: [fedora-arm] F18 build failures with webkitgtk3/source-highlight