A correction for the commit: revert a grischka patch: gdb refused to know "main"