remove some unneeded stuff from travis setup