Re: ntdll: Fix for 64-bit builds (at least on OSX)