Updated debian packaging to 7.7.2