[Bug 710242] [maintenance?] segmentation fault in libwebkit 1.3.10-5.1