Debian fixes