Android build fix for unknown reason

#6575