Does Mindstorms software work on Mac OS Catalina 10.15.3 ?