fix wrong filename for patch