Lazy calculation of default filename extension