Fix compilation issue on Mali platform