Use unix-style path for GetCustomElementsFrom (but convert it to
platform-independent style in the script, as with the other paths).