Fixed minor compilation issues in IntSet/TagSet.
Updated proto-compile script.