renaming (batch_, aux_) and some refactoring of bash scripts