ExtPervasives: Remove dead code.