Re: status of amd64 port?