Update debian/install and debian/changelog for 3.5