(old TODO item - don't know if it's still a problem) ctrl-c will (consistently?) fail on thumb? Or maybe only occasionally... It's a tricky thing to get right, IIRC.
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id>23308