On Sat, 23 Feb 2013, Florian Smeets wrote: > Right, I know... I'm not having my best week it seems :( . Will fix shortly. Can you make this USE_GCC=yes, then? USE_GCC=any really is a stop gap and should either be USE_GCC=4.2 -- only that old version works -- or USE_GCC=yes in the longer term. Thanks, Gerald