add gdbtui script back