Yes, I also think that’s the simplest way for normal users right now, but I just hope the developers will address the problem with a future update because that’s still too much hassle for Mac users. I believe wordpress should support as large a number of people as possible by default without forcing some people to do something extra, and the solution is pretty simple on this issue at least on the developers’ side.