Yet another travis tweak.