Update debian/patches/00list according to rename