rename TREX-Kernel