travis: we don't need this line anymore