Fixed for Linux: detection for batch > 1 and 0x0d at command line

AlexeyAB

2017-10-29 84cdbaa1f14b4f2ca73b370c6db6a4dc9571fd07

1
2
3
+++++
val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone)
*****