OS X dual boot criterion problems