tweak script for Travis build