More travis-run tweaks