re-compress (using jscompress.com) so that it matches modified 3.2 javascript