platform depending filestring