Fix buggy Swig version (not 1.3.* but not 1.4.2, only 1.4.0 works)