Thanks to freemangordon for helping me out, I was able to get it to work with GCC 4.7.2. It shoved off 130 KiB from the binary and appears to give framerates better by a few percent in some cases, but no miracles. I updated the link in the first post to point to the new Thumb build.