Why I switched from OS X to GNU/Linux