Fix compilation error (conflict introduced by Core.Std)