They fail during configure with: Invalid configuration `aarch64-w64-mingw32': machine `aarch64-w64' not recognized