Rename uint256.hpp to uint256.h