Laura,

The machine name looks a little different than our docs. I don't think you need the https:// part.

Can you change it to this and give it another try?

machine labkey-test.roche.com:8443 login laurapas@gene.com password XXXXXXX

Regards,

Jon