{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2015","labels_url":"https://api.github.com/repos/kframework/k/issues/2015/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2015/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2015/events","html_url":"https://github.com/kframework/k/issues/2015","id":125681283,"number":2015,"title":"kompile error with Windows","user":{"login":"grosu","id":3733729,"avatar_url":"https://avatars.githubusercontent.com/u/3733729?v=3","gravatar_id":"","url":"https://api.github.com/users/grosu","html_url":"https://github.com/grosu","followers_url":"https://api.github.com/users/grosu/followers","following_url":"https://api.github.com/users/grosu/following{/other_user}","gists_url":"https://api.github.com/users/grosu/gists{/gist_id}","starred_url":"https://api.github.com/users/grosu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/grosu/subscriptions","organizations_url":"https://api.github.com/users/grosu/orgs","repos_url":"https://api.github.com/users/grosu/repos","events_url":"https://api.github.com/users/grosu/events{/privacy}","received_events_url":"https://api.github.com/users/grosu/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-01-08T19:53:36Z","updated_at":"2016-01-08T20:06:59Z","closed_at":null,"body":"Could this be related to #1992, which @dwightguth fixed recently?\r\n\r\n```\r\nD:\\github\\grosu\\k\\k-distribution\\tutorial\\1_k\\1_lambda\\lesson_2>kompile lambda.k\r\n[Error] Critical: Could not find 'required' file: substitution.k\r\n        Source(D:\\github\\grosu\\k\\k-distribution\\tutorial\\1_k\\1_lambda\\lesson_2\\lambda.k)\r\n        Location(3,1,3,24)\r\nD:\\github\\grosu\\k\\k-distribution\\tutorial\\1_k\\1_lambda\\lesson_2>\r\n```\r\n"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/170109863","html_url":"https://github.com/kframework/k/issues/2015#issuecomment-170109863","issue_url":"https://api.github.com/repos/kframework/k/issues/2015","id":170109863,"user":{"login":"dwightguth","id":5104541,"avatar_url":"https://avatars.githubusercontent.com/u/5104541?v=3","gravatar_id":"","url":"https://api.github.com/users/dwightguth","html_url":"https://github.com/dwightguth","followers_url":"https://api.github.com/users/dwightguth/followers","following_url":"https://api.github.com/users/dwightguth/following{/other_user}","gists_url":"https://api.github.com/users/dwightguth/gists{/gist_id}","starred_url":"https://api.github.com/users/dwightguth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dwightguth/subscriptions","organizations_url":"https://api.github.com/users/dwightguth/orgs","repos_url":"https://api.github.com/users/dwightguth/repos","events_url":"https://api.github.com/users/dwightguth/events{/privacy}","received_events_url":"https://api.github.com/users/dwightguth/received_events","type":"User","site_admin":false},"created_at":"2016-01-08T20:06:59Z","updated_at":"2016-01-08T20:06:59Z","body":"That's quite baffling. They're in the same directory, I can't think of any reason why it would be able to find one but not the other. Can you show me the contents of the k-distribution/target/release/k/include/builtin directory for the version of K that is on your path?"}}