Building krb524 on Windows happens now. Closing.