Add GCC 4.1.2 from Debian to known bad GCC list.