Debian packaging + Koan fix