Explicitly checked os, to get the right file_seperator