Imported Debian version 0.8.16~exp12ubuntu10.17