At the beginning of the semester I had students install g++ and gdb via the MinGW installer.
Now that we're using gdb in an assignment, one student's gdb isn't recognizing the executable file they built using "g++ -g blah.cpp" and such.
It is giving "not in executable format: file format not recognized" - which seems like an x64/x86 mismatch? Haven't seen this problem with any other students yet.