Fix TravisCI build config

Change-Id: I90c4f427abf14a58226cd84d93a2fbf03ad655df