Fixing travis configuration file issues