64-bit compilation in FC3