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