inconsistencies in MCI headers w.r.t. to 64bit