Fix Mali build error