switch back to Ubuntu Mono