Script for batch execution of Mace4