Fixing travis configs