Actually the 64-bit TheSky needs to register itself in place of the 32-bit one.