Minor bugfix for windows path names