neubot.hh: swig should not see the cast