More debian build tweaks