do not copy .tokens, not necessary in a runtime