Fix the debian support

It was previously added in the wrong place...
This one has been tested, it works.