debian/share/man/man1/ser-player.1.gz
