Fix bat file

Fixes #647.