Linux64 fixes