Debian specific configuration