rm reference to deriving-ocsigen