Remove my modification of this file for travis