kframework/k — pull request #538 by dwightguth (2014-06-02 18:27:36+00:00)
Title: update to latest version of jansi

This bug is so unbelievably strange I have no idea whatsoever if this will fix it, because I still have no idea what's causing it. But it's worth a try.