fixing Travis config