Added Debian flavouring