A custom video codec for Android