fix travis config; final?