Horrendous hack to make stuff compile on Android