By the way, I put brew update and then brew install ... commands into my .travis.yml now. It did the trick as a kind of workaround, it seems, however now it’s about four minutes longer to finish … I guess this is not the optimal solution after all, and also hides the problem why it does not work anymore since some hours which worked before …