kraken library was added to kraken_gui