Minor changes needed to build the pivacy credential generator