Install linux on a mac in addition to the mac os