Working thru to get 64bits with CTP14