fix heap size

This should allow the semantics to kompile with an unmodified K distribution