update for HERMIT update https://github.com/ku-fpg/hermit/commit/9c7d063775cf2de281f5ebcd562791b1280b1702