Various optimisations and fix related to video processing for the Android platform.