I finally got around to trying 12.0, and it worked as well (to the extent of successfully uploading blink.pde)
It did spit out some alarming messages from gcc and g++ about the non-existence of "readlink", but appeared to go on successfully anyway. (readlink is apparently used to help pick a particular version of the compilers based on system-wide configuration...)