Also changed the workbench travis file