Undo extraneous changes

This reverts part of 59d5f198c055d0b6d1847090d7a6ed2bcbdeefcc.
Try to run sha1 check on travis CI properly