don't know if

```bash
echo $(USEMODULE) | tr ' ' '\n' | sort | uniq | tr '\n' ' '
```

may be faster and/or more readable. Proofs/Opinions?