Export as 64bit