Delete HashPrefix copy constructor
since it is currently unused.