Fix compilation issue with monodroid