Update for #1024: better deobfuscated symbols.  Fix player tracker