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