How does the hardfork work? Is it something that happens automatically when enough people have the new client or does something need to happen?