For some reason the hash from 9ec139b6 became invalid, see #89615. The update script does now produce the correct hash.