Remove superfluous patch file. Problem pointed out by Patrick Welche
on ticket #4475.