fix build and debian packaging