Hello everybody, Although this thread is quite old, I would still like to present the solution I found to this problem : http://stackoverflow.com/questions/31460931/regarding-mono-develop-upgrade-on-raspberry-pi It worked for me, so I'm a happy camper right now. Just a few steps away from scrapping ...