libsxmp/debian/libsntl.install