Fix TravisCI build config

Change-Id: Ibb451c7c3fd32669a10db90eee0425b2a0be662a