Faster start up of texenv