Android buildfix

Another one...