no longer needed; new stuff moved to main.c