Debian adjustments for 0.9.10rc1