Tweak devel/swig13 version 1.3.40