vtune cannot connect to mic

Hello,

I'm trying to use Vtune on a host with Xeon Phi cards. I have Intel Xeon Phi coprocessor (native) as the target system and 0(mic0) as the card number in the amplxe-gui. When I try to do an analysis, vtune complains:

ssh: Could not resolve hostname 0(mic0): Name or service not known

(see attached screen shot for vtune version info and the error message)

I can do 'ssh mic0' without any problem though, and mic0 is correctly set up in /etc/hosts. I'm member of the vtune group and the sep and vtssp drivers are loaded on the mic and on the host (here also pax).

Any suggestions about what could be wrong?