Fix ARM build