This patch allows one to update commercial WOLFENSTEIN version 1.1 to
version 1.2.