tweaks for TravisCI