Okay thanks.
php5.6 /var/www/html/tools/importExport.php UserImportExportPlugin import /tmp/users.xml journal
worked although now I get errors about user_group missing the name element. I’m covering this issue in another post (Importing users xml fails with missing user group name node element) so will comment on my findings there.
Thanks