does this hard coded file separator bring trouble when used on e.g. windows?