Fixes bash patch issue that blocked builds from Travis CI cache
Fixes bash patch issue that blocked builds from Travis CI cache

shahin/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,zifeishan/deepdive,zifeishan/deepdive,zifeishan/deepdive,HazyResearch/deepdive,zifeishan/deepdive,sky-xu/deepdive,shahin/deepdive,sky-xu/deepdive,zifeishan/deepdive,HazyResearch/deepdive