make the filename os-independent