Fix a long standing bug in the Travis config.