kernel.txt -> cabal's data-files