Put the Travisfile back.