DictionaryRedefinition.ice:12: redefinition of dictionary `Dictionary'