Patching ajtcl for windows