travis script tweak for the split