Fix amd64 build