add download of seal.bat