small fixes to debian build