update mozilla_extras for one more change