* makefile, makefile.gnu: Add InstrTable to build