libavoid: Fix a couple of compiler warnings.
libvpsc: Improve speed by not cleaning up during satisfy().

Don't call cleanup() in the inner loop of satisfy().  This improves
speed at the cost of slightly higher memory usage while running.