change nvptx64->nvptx