Re: 64-bit compilation broken today