python check filetype