Fix deletion and move of a hidden patch (gna bug #9244).