Streamline debian/install