Fix swig option again