Change Travis CI config definition

Change to try to get the Travis CI config file right.