I have a Win 2008 R2 server aaa.yyy.com, then I installed Portal on the server. The Portal site can be created but when I access portaladmin -> machines, I found the machine name is aaa instead of aaa.yyy.com, so that I cannot import domain certificate to Portal. Are there any configurations I need to cater?