remove line 676, also. We don't care about the C-Lib, only the specification.