Definitive file extension