Giving a proper travis config