changed Travis config