Change the version of kharon given in the installation documentation