Modifications to sha2, to hide name clash problems, and MANY BE bugs fixed