dev
Migrate code to use Make* functions (#1022)
Kraut related fixes
Replaced precompiled Kraut libs with sources (#678)