Fix mali build