Add some helpers for platform identifiers.