configure: bring back all default JimTcl extensions