Fix repos for Debian