Linux compatibility: path delimiter