No 64 bit option for virtualbox mac os x