add repo mono-opt for Debian