Remove obsolete patch.

See #4 for details.