build: fix the distcheck.
MR !653 (merged) was merged too early as Gitlab bugged on us! Anyway this should hopefully fix the distribution contents.
MR !653 (merged) was merged too early as Gitlab bugged on us! Anyway this should hopefully fix the distribution contents.