Workaround for 3rdparty includes on Android.