minor fix to travisrc