Add batman to install makefile
Add batman to install makefile
Merge remote-tracking branch 'origin/development_rel_2_7_1' into development_rel_2_7_1