Make keys in configuration files case-sensitive
GDBRunner: Cut the GDB trace out of stdout