added 0.8.8-3 debian package