AIOFile Debian packaging