debian package for 0.8.8.1