Use of swig extensions, fixes #10