Change naming of extension files