--- dstool_tk/config/Makefile.defs~ 2021-07-22 14:25:09.054200807 +0000 +++ dstool_tk/config/Makefile.defs 2021-07-22 14:28:35.151872788 +0000 @@ -47,7 +47,7 @@ X11_LIBS = -lX11 SYS_LIBS = $(X11_LIBS) $(OTHER_SYS_LIBS) -lm - ALL_FLAGS = $(CFLAGS) + ALL_FLAGS = $(CFLAGS) -DUSE_INTERP_RESULT ALL_INCLUDES = $(INCLUDE) -I$(INCLUDE_DIR) $(TCL_INCLUDES) $(X11_INCLUDES) ALL_LIBS = $(TCL_LIBS) $(SYS_LIBS)