Those were old ABCs which I hadn't changed to major circular. (Key and mode don't have to be correct for ABCs, they just have to give the right number of sharps or flats on the key signature.) The recent "Sources of Irish Traditional Music" give both phrygian and circular major scorings for the tunes above. The problem is that for circular major tunes that end on the 7th there are also two scorings, and the one that is not major circular is locrian.