Changes to debian setup to bring it in line with official Debian repos