Fixing travis configuration, again.