another Travis fix attempt