Debian source bugfix