Prodding Travis-CI