IC3PEAK and Gabidulin