I see. Thanks for pointing out - so I was right to write above "... is supposed to be ..." ;-)

That leads to this question: If someone elects to build *only* `atarixl` (but not `atari`) then w2cas.com isn't present. Is that the desired behaviour?

In case you consider this a purely hypothetical scenario check out https://github.com/contiki-os/contiki/blob/master/.travis.yml line 33 ;-)