patches for safari 5 friendly extensions