another good occasion for os.path.basename