minor edit on run_mul_times.sh and Makefile