+++ improved windows .bat script for library compilation
Merge branch 'origin/master'