Android: Fix build with mediaplayer extension