gnustep 1.1 PortGroup: account for post-Lion OSes