o Yet another travis tweak.