travis.py: sql split