more Debian fixes