Try to fix ARM build after http://trac.webkit.org/changeset/157690