* lib/gdb.exp (build_executable_from_specs): Remove duplicate set
	of "binfile".