add dirty fix for dump a std class (we should use something more stable anyway)