Re: aarch64 build broken

[Jan Hubicka]

> Hi Jan,
> 
> 
> looks good.  Thanks!

Thanks,
I have commited the change.

Honza