Dual booting mac and linux