Extracting extension from filename in Python Extracting extension from filename in Python python python