> Is that for the case with joinPath(getAppDir(), filename)?

Yes

> Are you sure they don't have different path separators or sth?

Pretty sure yes, I tried both versions: `"\\"` and `"/"`
Works in both cases in the manual concat version, doesn't work in either with
the `os.joinPath` version.