[claix18-slurm-pilot] Re: $CFXHOSTS: unable to find master host