small fixes for Debian Repos