some Debian fixes