split filenames with python,os.path.splitext(os.path.basename(f))