added to silence Hoe
Filenames should really be independent of the platform