no longer needed, MySQL replication was fixed meanwhile.

client code still can recognize and strip the prefix though.