This reverts commit bcbbbf97. The hash has changed several times. We should look into fetching from git instead.