Change TARDIS schematic file extension