fix hygienic names in foreign imports