Would it be good to use the `File/separator` instead of "/" while we are changing this?