tweak travis install script

Change-Id: I303e9465bd1d26edba1a25bc7db35cea29fd83a9