Fix makefile and formatted filename in bash format scripts