Debian's tiny patch