use gdb only for crash reports (followup e4fed741)