Simple Tutorial Script failing on OS X

[jcarlson23]

After moving the lambda.k script into the project folder I tried the following (with the top of the stack trace):

$ ./bin/kompile --debug lambda.k
org.kframework.kore.convertors.KILTransformation$VisitingException: syntax KString ::= Lexical{["](([^])|([\][nrtf"\])|([\][x][0-9a-fA-F]{2})|([\][u][0-9a-fA-F]{4})|([\][U][0-9a-fA-F]{8}))*["]}
at location Location(20,3,20,205) in file Source(/Users/jaredcarlson/Projects/k/lib/java/../../include/builtin/kast.k) of class class org.kframework.kil.Syntax
at org.kframework.kore.convertors.KILTransformation.apply(KILTransformation.java:36)
at org.kframework.kore.convertors.KILtoKORE.apply(KILtoKORE.java:164)
at org.kframework.kore.convertors.KILtoKORE.lambda$apply$148(KILtoKORE.java:106)
at org.kframework.kore.convertors.KILtoKORE$$Lambda$34/768776793.apply(Unknown Source)

There's more but that's the top of the trace...