Fixe error 'error: garbage collection is no longer supported' with Xcode Version 5.1 (5B130a)

Use the latest fix from the original webkit.org sources