Updates for swig-2.0.12 release