The fix is implemented in ext_std_misc.cpp on line 115 onwards