Debian missing file bugfix