Add Mukkenborg specific settings to the android build