this can be simplified: use ``PATH_SEPARATOR`` as the separator