revert whale changes

	modified:   dolfin/common/types.h
fix build errors