added missing Travis config