Files: /arch/extra/os/x86_64/midi-linux.txt