Yet another Travis fix.