Update seamonkey.bat