point to latest debian release (7.7.0)