OpamForCoq added