How much space does creating iso os x64 and x86 take