mono/mini make fullaotcheck can now be run on Windows