ADT/Triple: Add support for more explicit "osx" and "ios" OS names.