Tries to fix Android compilation