A standard-sized AA cell is 0.5mm longer than a standard-sized C cell, but in practice that difference is negligible.  Besides “stub case,” an adapter like this is also sometimes called a “sabot.”  They can be purchased commercially, but I’d just as soon print my own.  And now I can. Thanks again, Thingiverse!

AA-C Cell Battery Adapter by Wildseyed