seal.bat renamed to seal.cmd