Fix travis config

Change-Id: I74f54432c1a992c177bd600cdafac07cc4706190