work around builtin type problem with IPython remote mode