diff --git a/core_dumps/core_dump_format.sh b/core_dumps/core_dump_format.sh
index 2e5e63a46..95c792904 100755
--- a/core_dumps/core_dump_format.sh
+++ b/core_dumps/core_dump_format.sh
@@ -10,12 +10,12 @@ DUMPNAME=$4
 STEP_NAME=$5
 
 save_ansi_to_html() {
-
 	echo "<h2> $1 </h2>" >>"${FILENAME}"
-	cat "$DUMPNAME" | bash "${SCRIPT_LOCATION}"/ansi2html.sh --bg=dark --palette=tango >>"${FILENAME}"
+	cat "$DUMPNAME" | bash "${SCRIPT_LOCATION}"/ansi2html.sh --palette=solarized >>"${FILENAME}"
 }
+
 invoke_gdb_command() {
-	script -q -c "gdb -x \"${SCRIPT_LOCATION}\"/gdbinit -q ${BINARY} --core ${COREDUMP} -ex \"$1\" -ex \"quit\"" $DUMPNAME
+	gdb -x "${SCRIPT_LOCATION}"/gdbinit -q ${BINARY} --core ${COREDUMP} -ex "$1" -ex quit >>"$DUMPNAME"
 }
 
 echo "<h1> Step: ${STEP_NAME}<br> Binary name: ${BINARY}<br> </h1>" >>"${FILENAME}"