Fix Linux/64 compile error introduced by pull #1296