Revert "Disable tui for GDB for versions >=7.2"

This reverts commit 3d8a49c5ea0d691c02695d9e841770d4b3f33173.