dot42: an alternative to MonoDroid