Solution: add them so that they get included in "make dist"
Attach a file by drag & drop or click to upload
