Update debian packaging

This should go a long way towards issue #13 but needs more testing.