Files
kraken/configure_linux.sh