Make things compile on Android - don't know whether it'll work though