Delete krani.h