Does mame os x work on macos high sierra