minor fixes for 1.2

- added extensions to git release script
- renamed labels in report