Fix debian/patches/series, wrong patch name