fixing post pygments error, and bat file content