Fix debian build