disambiguated filename