Remove a kluge that is no longer necessary.
-rw-r--r-- 52 .gitignore
-rw-r--r-- 68 AUTHORS
-rw-r--r-- 28529 BUGS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 2334 Makefile
-rw-r--r-- 5722 NEWS
-rw-r--r-- 3503 README
-rw-r--r-- 5580 attack.c
-rw-r--r-- 31337 compmove.c
-rw-r--r-- 796 control
-rw-r--r-- 7467 data.c
-rw-r--r-- 15792 display.c
-rw-r--r-- 11219 edit.c
-rw-r--r-- 5887 empire-logo.png
-rw-r--r-- 6756 empire.c
-rw-r--r-- 8237 empire.h
-rw-r--r-- 8155 extern.h
-rw-r--r-- 21826 game.c
-rw-r--r-- 2428 main.c
-rw-r--r-- 31683 map.c
-rw-r--r-- 1953 math.c
-rw-r--r-- 14372 object.c
-rw-r--r-- 7520 term.c
-rw-r--r-- 26340 usermove.c
-rw-r--r-- 5696 util.c
-rw-r--r-- 41398 vms-empire.xml