On Sat, Sep 14, 2013 at 06:09:09AM -0500, Ryan Schmidt wrote: > […] so I thought gcc48 was best as a default for other cases as well, > and changed the recipe in the wiki page a couple days ago. I wasn't aware of that. > Unless you know a reason why we shouldn't change to gcc48? No. -- Clemens Lang