Another fix for Travis-CI yaml file