Remove patch that doesn't seem to be needed any more