On Sat, 22 Dec 2012, Eitan Adler wrote: > Have you filed a PR about the broken ports? That's where "And, unlike compilation errors, failure to locate run-time libraries (or the right ones) is a lot harder to detect and we currently don't have a way to do so automatically" comes into play, unfortunately. Or I would have. Gerald