Disable the renumbering thing temporarily, as it apparently does not work.
Disable the renumbering thing temporarily, as it apparently does not work.

The same problem occurs on the master branch too.

GaloisInc/galua,GaloisInc/galua,GaloisInc/galua,GaloisInc/galua,GaloisInc/galua,GaloisInc/galua