Fix TravisCI build config

Change-Id: I407f53b28a5ec4e06a30bcf91486a52e5cc121eb