Debian

Simplify debian box naming and fix the choice of debian boxes (7 wasn't working anymore).