Avoid a problem having eio & eio-doc in conflict.