let's see if swig 2.0.12 is better