Require mono 3.2 for Debian package (armhf support)