a set of *.bat files for Un*x users