Updating HEE to 1.4.2

The bugfixes are significant but it's not obvious from this commit.