fix linux_x64 compile (workaround a gcc bug/issue)