#1111: use swig2.0 in debian instead of swig