temporary fix for issue 850

temporary fix for https://github.com/kframework/k/issues/850