I think that either method would work good for you. Cutting 3/4" off the bottom of the mast would be fine and the shroud lengths can easily be modified with the shroud and forestay adjusters.
As long as there are plenty of good material around the base, drilling for rivits in new locations should work fine also.
Jack


Jack Hoying Fort Loramie, Ohio