Fixed a bug related to export of RT integrators.

@rienq please take a look