Prefer BATCH_DEBUG for halting since $DEBUG is way too verbose.
Version bump.