4.0: fix build

Thomas Guillem requested to merge tguillem/vlc-android:4.0-fix-build into master Nov 07, 2019