temp fix for failing tests due to different gnat2xml versions being used