* debian-specific build system: version numbers in file names are hard-coded
