Fix issue in TravisCI config

Change-Id: I32cbc6c39cf713b877194203367fa86208f93fd0