* gdb_gcore.sh: Use a temporary file. Use gdb from $PATH.