Proper travis file