Fix Debian installations, again...