inline a very short travis-related script