python path.mkdir vs os.mkdir