fixes Travis config