Fix bug in JS obfuscation, and with identifiers with the same prefix
Leave gzipping for later