Unused open_module removed from pervasives