Fixes for mono for android