Tweak travis config

Change-Id: Idab2774e912aa4e540e7b3c3dcd65f52368c17f2