(we use 4 by default internally, but apparently that's not enough for the big 15" macbooks, which have 4 real cores)