use_debian_packaged_edflib.patch
menuentry-exec-file.patch
