gdb input from file