Changes in libknapsack.h