small fixes, installation of nightly packages for Debian