Issue #5: tweak tests/travisCI.st