[#1376] Irepl is now memory-leak-free