make swig happy :(