How big should the partition be for el capitan osx