Remove patch that doesn't seem to be needed any more 2013-11-13