Use os.path.join to concatenate pathnames in a portable way