mali build fix