813367ae014cb3841d6e610863525d2c0845a895 Use --with-cards and --with-card-options again for configure
