Fix TravisCI build config

Change-Id: Ie8bd4e18dd0390da2e9844076e712a9f0cfb7b16