Random CI flail: the build fails on Travis because apt can't find some dependency it itself calculates.