add swig 2.12