"Fix" a problem with modern versions of boost and old versions of SWIG