Makefile: Fix the target "gdbauto" with the -tui argument