Fix an issue with kruptos usage