More debian tweaks