Update TravisCI config

Change-Id: I4a372eac0d1421a6893736ec2c6ec478c1d22512