Would it be nicer to use generic path separators here instead of `/`?