python_get_file_extension