Update TODO. Fails on sparc64 too. Someone want to test on sgi?
Make Makefile better, avoid having to SUBST_CMD Seed7's makefile.