Fix Android build of OpenCV broken by recent changes (issue bytedeco/javacv#65)