Fixes to debian build